algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary a ...

, a polynomial map or polynomial mapping

P: V \to W

between

vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...

s over an infinite

field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...

''k'' is a

polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...

linear functional In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). If is a vector space over a field , the s ...

s with coefficients in ''k''; i.e., it can be written as :

P(v) = \sum_ \lambda_(v) \cdots \lambda_(v) w_

where the

\lambda_: V \to k

are linear functionals and the

w_

are vectors in ''W''. For example, if

W = k^m

, then a polynomial mapping can be expressed as

P(v) = (P_1(v), \dots, P_m(v))

where the

P_i

are (scalar-valued)

polynomial function In mathematics, a polynomial is an expression (mathematics), expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addition, subtrac ...

s on ''V''. (The abstract definition has an advantage that the map is manifestly free of a choice of basis.) When ''V'', ''W'' are

finite-dimensional In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to disti ...

vector spaces and are viewed as

algebraic varieties Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...

, then a polynomial mapping is precisely a

morphism of algebraic varieties In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular ...

. One fundamental outstanding question regarding polynomial mappings is the

Jacobian conjecture In mathematics, the Jacobian conjecture is a famous unsolved problem concerning polynomials in several variables. It states that if a polynomial function from an ''n''-dimensional space to itself has Jacobian determinant which is a non-zero co ...

, which concerns the sufficiency of a polynomial mapping to be invertible.

References

Claudio Procesi Claudio Procesi (born 31 March 1941 in Rome) is an Italian mathematician, known for works in algebra and representation theory. Career Procesi studied at the Sapienza University of Rome, where he received his degree (Laurea) in 1963. In 1966 he ...

(2007) ''Lie Groups: an approach through invariants and representation'', Springer, . {{algebra-stub Algebra

See also

References